Enabling metrology-oriented specification of geometrical variability – A categorical approach
نویسندگان
چکیده
منابع مشابه
Geometrical Specification Model for Gear - Expression, Metrology and Analysis
To ensure the gear precision, industries need a coherent model to express, to analyse and to check geometrical specifications. Most gear tolerance representations are directly driven by the convenience of dimensional metrology and not by the convenience of the set of activities of the tolerancing process. Therefore, to ensure the coherence of all tolerancing process activities, there is a neces...
متن کاملthe impact of portfolio assessment on iranian efl students essay writing: a process-oriented approach
this study was conducted to investigate the impact of portfolio assessment as a process-oriented assessment mechanism on iranian efl students’ english writing and its subskills of focus, elaboration, organization, conventions, and vocabulary. out of ninety juniors majoring in english literature and translation at the university of isfahan, sixty one of them who were at the same level of writing...
15 صفحه اولOn minimal realization of IF-languages: A categorical approach
he purpose of this work is to introduce and study the concept of minimal deterministic automaton with IF-outputs which realizes the given IF-language. Among two methods for construction of such automaton presented here, one is based on Myhill-Nerode's theory while the other is based on derivatives of the given IF-language. Meanwhile, the categories of deterministic automata with IF-outputs and ...
متن کاملAn Object-oriented Approach to Formal Specification
Formal methods for software development are becoming increasingly necessary as softwarebecomes an important part of everyday life. To handle the complexities inherent in large-scale software systems these methods need to be combined with a sound developmentmethodology which supports modularity and reusability. Object orientation, based on theconcept that systems are composed of ...
متن کاملA View-based Approach for Service-Oriented Security Architecture Specification
Developing secure software is still a software engineering challenge because of the complexity of software security. Yet integrating security engineering and software engineering is increasingly important, especially for serviceoriented applications, as they are exposed to new security challenges due to their open nature. Current security engineering approaches do not consider existing security...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advanced Engineering Informatics
سال: 2019
ISSN: 1474-0346
DOI: 10.1016/j.aei.2018.11.001